deferred class BASEINTERFACE
end

class EFFECTIVE
end

class EFF2
end

class NOERROR1
     inherit EFFECTIVE --placed like effective (extends)
     inherit BASEINTERFACE --(implements)
end

frozen class MINH
      inherit EFFECTIVE
      inherit EFF2
end

class FINH
      inherit MINH
end